computational logic course